Razborov flag algebras as algebras of measurable functions
نویسنده
چکیده
These are some brief notes on the translation from Razborov’s recently-developed notion of flag algebra ([9]) into the lexicon of functions and measures on certain abstract Cantor spaces (totally disconnected compact metric spaces). 1 The objects of interest Consider a universal first-order theory T with equality in a language L that contains only predicate symbols; assume T has infinite models. Examples include the theories of undirected and directed graphs and hypergraphs, possibly with loops. In [9], Razborov develops a formalism for handling the ‘leading order’ statistics of large finite models of such theories. The central objects of his theory are the positive Rhomomorphisms of ‘flag algebras’. Here we shall relate these to measures on a subset of the Cantor space ∏ i≤k K N i i (where each Ki is itself some Cantor space) which is compact and such that both set and measure are invariant under the canonical coordinate-permuting action of Sym0(N). Examples of such Cantor spaces include the spaces of models over N of certain kinds of theory, and our identification will begin here. In particular we will identify (under some restrictions) a flag algebra with an algebra of measurable functions on the underlying Cantor space of models, and this will lead to an identification of the positive homomorphisms of the flag algebra with certain measures by virtue of classical results of functional analysis. This will take us through the first three sections of [9]. Section 4, 5 and 6 of [9] relate to a more precise variational analysis of certain examples of these homomorphisms, and we will not discuss this here. For certain special examples of the theories appearing in the study of flag algebras (particularly the theories of hypergraphs and directed hypergraphs),
منابع مشابه
Flag Algebras: An Interim Report
For the most part, this article is a survey of concrete results in extremal combinatorics obtained with the method of flag algebras. But our survey is also preceded, interleaved and concluded with a few general digressions about the method itself. Also, instead of giving a plain and unannotated list of results, we try to divide our account into several connected stories that often include histo...
متن کاملSymmetry in Turán Sums of Squares Polynomials from Flag Algebras
Turán problems in extremal combinatorics concern asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful semidefinite programming based methods to find sums of squares that establish edge density inequalities in Turán problems. Working with polynomial analogs of the flag algebra entities...
متن کاملWhat is a Flag Algebra
Before attempting to answer the question from the title, it would be useful to say a few words about another question: what kind of problems have flag algebras been invented for? Let us consider three similar combinatorial puzzles. Assume that we have a (simple, undirected) graph with n vertices. What is the minimal number of edges m (as a function in n) that guarantees the existence of a trian...
متن کاملCertain subalgebras of Lipschitz algebras of infinitely differentiable functions and their maximal ideal spaces
We study an interesting class of Banach function algebras of innitely dierentiable functions onperfect, compact plane sets. These algebras were introduced by Honary and Mahyar in 1999, calledLipschitz algebras of innitely dierentiable functions and denoted by Lip(X;M; ), where X is aperfect, compact plane set, M = fMng1n=0 is a sequence of positive numbers such that M0 = 1 and(m+n)!Mm+n ( m!Mm)...
متن کاملQuasicompact and Riesz unital endomorphisms of real Lipschitz algebras of complex-valued functions
We first show that a bounded linear operator $ T $ on a real Banach space $ E $ is quasicompact (Riesz, respectively) if and only if $T': E_{mathbb{C}}longrightarrow E_{mathbb{C}}$ is quasicompact (Riesz, respectively), where the complex Banach space $E_{mathbb{C}}$ is a suitable complexification of $E$ and $T'$ is the complex linear operator on $E_{mathbb{C}}$ associated with $T$. Next, we pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008